package de.uni_saarland.coli.doclists.document;

/**
 * 
 * @author stefan
 *
 * document interface
 */

public interface IDocument {
	/**
	 * Gets the document id as number.
	 * @return A <code>int</code> containing the document id.
	 */
	public int getDocID();
	
	/**
	 * Sets the document id as number.
	 * @param A <code>int</code> containing the document id.
	 */
	public void setDocID(int id);
}
